Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
741	Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Automata theory Models of computation Logic in computer science Formal methods Computability theory Satisfiability Modulo Theories Lookup table Deterministic finite automaton Decision problem Theoretical computer science Applied mathematics Mathematics
742	Playing Pushdown Parity Games in a Hurry Wladimir Fridman Martin Zimmermann Chair of Computer Science 7 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-07-12 10:32:22 Graph theory Combinatorics Finite model theory Game theory Parity game Models of computation End Determinacy Graph Mathematics Theoretical computer science Automata theory
743	Improving the Capabilities of JFLAP Creating Effective User Interfaces in Learning for Theoretical Computer Science Ian C. McMahon Computer Science Department Duke University Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2014-06-16 14:48:07 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Deterministic pushdown automaton Turing machine Mealy machine Algorithm Models of computation Theory of computation Automata theory
744	Competitive and Cooperative Behavior in Bio-Inspired AI By Olav Bjørkøy ([removed]) Department of Computer and Information Science NTNU, January 6, 2011 Abstract: This paper explores the nature of multi-co Add to Reading List Source URL: www.bjorkoy.com Language: English - Date: 2014-07-08 05:02:10 Ethology Artificial life Neural networks Cybernetics Models of computation Genetic algorithm Ant colony optimization algorithms Artificial neural network Boids Science Computational neuroscience Knowledge
745	The Grouped Author-Topic Model for Unsupervised Entity Resolution Andrew M. Dai and Amos J. Storkey Institute for Adaptive and Neural Computation, School of Informatics, University of Edinburgh, U.K. {a.dai,a.storkey}@ed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 07:03:54 Statistical natural language processing Stochastic processes Machine learning Statistical models Natural language processing Latent Dirichlet allocation Dirichlet process Plate notation Mixture model Statistics Probability and statistics Probability
746	A COMPARATIVE ANALYSIS OF DYNAMIC NETWORK DECODING David Rybach, Ralf Schl¨uter, Hermann Ney Human Language Technology and Pattern Recognition, Computer Science Department, RWTH Aachen University, 52056 Aachen, Germany Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Finite state transducer Computer science Applied mathematics Computational linguistics Speech recognition Decoder Finite-state machine WFST Algorithm Automata theory Models of computation Theoretical computer science
747	Microsoft PowerPoint - FlopsPerWatt06a.ppt Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:51:03 Philosophy of thermal and statistical physics Physics Digital electronics Reversible computing Toffoli gate Charles H. Bennett Quantum computer Computation Second law of thermodynamics Theoretical computer science Applied mathematics Models of computation
748	Computational Mechanics of Input-Output Processes: Structured Transformations and the ε-transducer Nix Barnett James P. Crutchfield Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2014-12-08 14:27:30 Automata theory Control theory Applied mathematics Cybernetics Formal sciences Finite-state machine Markov chain Feedback Infinite impulse response Models of computation Statistics Mathematics
749	IAENG International Journal of Computer Science, 36:2, IJCS_36_2_05 ______________________________________________________________________________________ Finite Automata Approach to Computing All Seeds of Strings with t Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2009-05-20 16:44:06 Theoretical computer science Mathematics Coding theory Discrete mathematics Nondeterministic finite automaton Levenshtein distance Hamming distance String Finite state transducer Automata theory Formal languages Models of computation
750	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science

UPDATE